Singularities and intrinsic front dynamics of FitzHugh-Nagumo type systems

Computational modeling of angiogenesis: towards a multi-scale understanding of cell-cell and cell-matrix interactions

Bounds on the quality of reconstructed images in binary tomography

Advanced reconstruction algorithms for electron tomography: From comparison to combination

Phase retrieval in in-line x-ray phase contrast imaging based on total variation minimization

Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs

Control of discrete-event systems - Automata and Petri Net perspectives

Supervisory control with complete observations

Supervisory control of distributed discrete-event systems

Coordination control of distributed discrete-event systems

CPU and Cache Efficient Management of Memory-Resident Databases

Language learning from positive evidence, reconsidered: A simplicity-based approach

Self-organizing Structured RDF in MonetDB

Next-generation RNA sequencing reveals differential expression of MYCN target genes and suggests the mTOR pathway as a promising therapy target in MYCN-amplified neuroblastoma

Marginal queue length approximations for a two-layered network with correlated queues

Cyclic-type polling models with preparation times

On the accuracy of phase-type approximations of heavy-tailed risk models.

Real-Time Wildfire Monitoring Using Scientific Database and Linked Data Technologies

CSA: Comprehensive comparison of pairwise protein structure alignments

Capacity planning of call centers for Emergency Medical Systems

HATS abstract behavioral specification: the architectural view

The power of noisy fermionic quantum computation

Energy-conserving Runge–Kutta methods for the incompressible Navier–Stokes equations

Dynamic Angle Selection in Binary Tomography

CWI bouwt applicatie voor analyse datastromen

Floor (20) is 'Nerd van het jaar' : interview met Floor Sietsma in de EO videorubriek NEO Denkstof, 07.01.2013 [9:36]

Data fusion software for Firesense

New Year’s Speech of Jos Baeten, 7 January 2013

Fluid limits for bandwidth-sharing networks with rate constraints

Random fluid limit of an overloaded polling model

Inception and propagation of positive streamers in high-purity nitrogen: effects of the voltage rise-rate

Het grootste kernfusieproject ter wereld: ITER : De Wereld Leert Door, 15.01.2013, VARA, Ned. 3, 22.30-22.40u [11:39]

MonetDB/DataCell: levaraging the column-store database technology for efficient and scalable stream processing

RepoSE: An On-Line Repository for Simulation Experiment Descriptions

Hersenen simuleren voor computer

Hyaluronan: A critical regulator of endothelial-to-mesenchymal transition during cardiac valve formation.

Similarity and denoising

Vascular networks due to dynamically arrested crystalline ordering of elongated cells

Three-dimensional concentration mapping of organic blends

MonetDB Oct2012-SP3 bugfix release

MonetDB Feb2013-SP2 bugfix release

Mag weg na crash opnieuw

Run-time Verification of Coboxes

Onweer - veel nieuws van de plasmas boven onze hoofden

A large-deviations analysis of Markov-modulated infinite-server queues

Time-scaling limits for Markov-modulated infinite-server queues

Singularities and intrinsic front dynamics of FitzHugh-Nagumo type systems

Binomial arithmetical rank of toric ideals associated to graphs

Identifying transcriptional miRNA biomarkers by integrating high-throughput sequencing and real-time PCR data

A J-function for inhomogeneous point processes with applications to seismology

Modelling aftershock sequences of the 2005 Kashmir earthquake

Computational modeling of tuberculous meningitis reveals an important role for tumor necrosis factor-α

Extracting Semantics from Multi-Spectrum Video (Editorial)

Visible and Infrared image registration in man-made environments employing hybrid visual features.

Digitale ongeletterdheid onder jongeren groot : interview Radio 1, NOS, 30-01-2013 [4:37]

On the heating dynamics in sparks

De computerlessen op middelbare scholen moeten anders : interview BNR Radio, 29-01-2013

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

Energy-conserving discretization methods for the incompressible Navier-Stokes equations

Enhanced Stream Processing in a DBMS Kernel

MonetDB Feb2013 feature release

Comparing the Hawkes and trigger process models for aftershock sequences following the 2005 Kashmir earthquake

Asymptotiek

MonetDB Feb2013-SP1 bugfix release

Magnetohydrodynamic Waves and Instabilities in Rotating Tokamak Plasmas

Discrete multi-colour random mosaics with an application to network extraction

A J-function for inhomogeneous point processes with applications to seismology

Meet Charles, big data query advisor

dbTouch: Analytics at your Fingertips

Database Cracking and the path Towards Auto-tuning Database Kernels

Database Cracking and the path Towards Auto-tuning Database Kernels

Database Cracking and the path Towards Auto-tuning Database Kernels

Database Cracking and the path Towards Auto-tuning Database Kernels

Database Cracking and the path Towards Auto-tuning Database Kernels

Database Cracking and the path Towards Auto-tuning Database Kernels

Cellular Potts modeling of tumor growth, tumor invasion and tumor evolution

Modeling heart valve development

User Information Needs for Environmental Opinion-forming and Decision-making in Link-enriched Video

Fast and revenue-oriented protection of radial LV cables with smart battery operation

Micro Adaptivity in Vectorwise

Recycling in Pipelined Query Evaluation

Automatic Schema Design for Co-Clustered Tables

Chernoff's distribution and parabolic partial differential equations

Lopen vissen gevaar als bliksem in zee slaat? U. Ebert responds in De Pers, Jan. 10, 2012.

Tip-stalk cell differentiation enables fast formation of highly connected vascular networks

Visual Synonyms for Landmark Image Retrieval

Comparative semantics for a parallel contextual logic programming language

All Vehicles Are Cars: Subclass Preferences in Container Concepts

Interactive Video Stories from User Generated Content: a School Concert Use Case ("Interactive St)

"Let Me Comment on Your Video": Supporting Personalized End-User Comments within Third-Party Online Videos

MonetDB Jul2012 feature release

Separation of timescales in a two-layered network

Scripting a Refactoring with Rascal and Eclipse

Mobiele communicatie tien keer sneller met nieuwe technieken. Kennislink.nl, 9 maart 2012

Just-in-Time Personalized Video Presentations

Operational Wildfire Monitoring and Disaster Management Support Using State-of-the-art EO and Information Technologies

Attacks on Hash Functions and Applications

Japans puzzelen onder de microscoop

CWI knipselkrant, jaargang 08, nummer 04

Just-in-time Data Distribution for Analytical Query Processing

Efficient Cross-Device Query Processing

Heuristics-based query optimisation for SPARQL

From X100 to Vectorwise: opportunities, challenges and things most researchers do not think about

Cracking Big Data

Database Cracking: Concurrency control and Stochastic Cracking

Database Cracking

NoDB: efficient query execution on raw data files

Business Analytics in (a) Blink

MonetDB: Two Decades of Research in Column-oriented Database Architectures

Revolutionary Database Technology for Data Intensive Research

Wiskunde vraagstukken en praktische toepassingen

Ondeugdelijke statistiek

Computermodellen in de biologie

De kwantumcomputer: het meest indrukwekkende object op micro-schaal

Slimmere algoritmen voor betere 3D-beelden

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores

Big Data

Concurrency Control for Adaptive Indexing

MonetDB Apr2012-SP2 bugfix release

TELEIOS: A Database-Powered Virtual Earth Observatory

Data Vaults: A Symbiosis between Database Technology and Scientific File Repositories

A fluid model analysis of streaming media in the presence of time-varying bandwidth (24)

Adaptive indexing in modern database kernels

Vectorwise: a Vectorized Analytical DBMS

Query processing of pre-partitioned data using Sandwich Operators

MonetDB/DataCell: Online Analytics in a Streaming Column-Store

From Cooperative Scans to Predictive Buffer Management

Robust Runtime Optimization and Skew-Resistant Execution of Analytical SPARQL Queries on Pig

Letter from the Special Issue Editor

Stethoscope: A platform for interactive visual analysis of query execution plans

Local Spatial Scale Control in the Precortical Visual Pathway

The Visual Extent of an Object - Suppose We Know the Object Locations

Fusing Concept Detection and Geo Context for Visual Search

Harvesting Social Images for Bi-Concept Search

Convex Reduction of High-Dimensional Kernels for Visual Classification

Spatial Variations in Reconstruction Methods for CT

Thunderstroms as electron accelerators and the discharge zoo above the clouds

Derivation and test of high order fluid model for streamer discharges

Strategic bidding in a primary reserve auction

Statistical Modelling of Pre-Impact Velocities in Car Crashes

Investigation of NOx production and removal at a low NO level concentration in a pulsed corona reactors

CWI knipselkrant, jaargang 08, nummer 09

Cross-Species Alignment of Coexpression Networks

Altruism and Spite in Strategic Games

Strategic Behavior in Network Routing

Finding social optima in congestion games with positive externalities.

Computing efficient pricing schemes to reduce congestion in networks

Composition methods, Maxwell's equations, and source terms

Vectorwise: Beyond Column Stores

Automation in Cytomics: A Modern RDBMS Based Platform for Image Analysis and Management in High-Throughput Screening Experiments

Scalable Generation of Synthetic GPS Traces with Real-life Data Characteristics

Cryptography from quantum uncertainty in the presence of quantum side information

Coordination control of linear systems

Instant-On Scientific Data Warehouses: Lazy ETL for Data-Intensive Research

Monotonicity testing and shortest-path routing on the cube

Wildfire monitoring via the integration of remote sensing with innovative information technologies

Big Data: Research Challenges, Applications and Tools

Concurrency Control in Adaptive Indexing

Stochastic Database Cracking

Data Infrastructures and Data Management Research: Close Relatives or Total Strangers?

NoDB in Action: Adaptive Query Processing on Raw Data

S3G2: a Scalable Structure-correlated Social Graph Generator

A percolation process on the binary tree where large finite clusters are frozen

Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods

Concurrent access and traffic control methods in wireless communication networks

Holistic Indexing: Offline, Online and Adaptive Indexing in the Same Kernel

A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs

Over Alan Turing : Radio 1 Sportzomer, 23.06.2012 [10:59]

Sublinearity of the travel-time variance for dependent first passage percolation

Linking user-generated video annotations to the web of data

Semidefinite code bounds based on quadruple distances

Mathematical Methods for Signal and Image Analysis and Representation

Dynamic traffic splitting to parallel wireless networks with partial information: a Bayesian approach.

Optimal job splitting in parallel processor sharing queues

Runtime revenue maximization for composite Web services with response-time commitments

Polling systems with batch service

Explaining query modifications: an alternative interpretation of term addition and removal

Polyhedra with the integer Caratheodory property

Characterizing partition functions of the vertex model

Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables

A low-bias simulation scheme for the SABR stochastic volatility model

Calibration and Monte Carlo Pricing of the SABR-Hull-White Model for Long-Maturity Equity Derivatives

Natalie-WEB. Network alignment

On estimation of the intensity function of a point process

Earthquake modelling at the country level using aggregated spatio-temporal point processes

Astronomical Data Processing Using SciQL, an SQL Based Query Language for Array Data

Increasing Cheat Robustness of Crowdsourcing Tasks

EmSe: Supporting Children’s Information Needs within a Hospital Environment

Automated Verification of Executable UML Models

Programming and Deployment of Active Objects with Application-Level Scheduling

What is Happening in the W3C Semantic Web Activity?

Towards Role Detection in Virtual Worlds

Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process

Probabilistic Power Flow Simulation allowing Temporary Current Overloading

Wiskunde, wat moet je er mee? RTL4's Editie NL, 17.07.2012 [3:03]

BK-type inequalities and generalized random-cluster representations

Invariant semidefinite programs

An improved algorithm and a Fortran 90 module for computing the conical function $P^m_{-1/2+i\tau}(x)$

The effect of toroidal plasma rotation on low-frequency reversed shear Alfvén eigenmodes in tokamaks

Fluid Limits for an ALOHA-type Model with Impatient Customers

Antilope - A Lagrangian Relaxation Approach to the de novo Peptide Sequencing Problem

New Year's Speech of Jos Baeten, January 9, 2012

On the evolution of morphogenetic models: mechano-chemical interactions and an integrated view of cell differentiation, growth, pattern formation and morphogenesis

Simulation of organ patterning on the floral meristem using a polar auxin transport model

The contributions of palaeontology to the study of developmental evolution and biases

Building simulation models of developing plant organs using VirtualLeaf

Visualizing the Segmentation Error of a Tomogram using the Residual Projection Error

Electron tomography based on a total variation minimization reconstruction technique

Convective tissue movements play a major role in avian endocardial morphogenesis

Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium

Cell-Based Modeling

Open Data in Practice

All Schatten spaces endowed with the Schur product are Q-algebras

An integer linear programming approach for finding deregulated subgraphs in regulatory networks

Data Intensive Research and Explorative Data Analysis

Spatially hybrid computations for streamer discharges: II. Fully 3D simulations

Density models for streamer discharges: beyond cylindrical symmetry and homogeneous media

An introduction to nonequilibrium plasmas at atmospheric pressure

Hoeveel wegen eentjes en nulletjes? Beantwoorden van de kettingvraag in Hoe?Zo! Radio, 12.01.2012 [6:07]

Elsevier verdient geld over mijn rug : commentaar naar aanleiding van de petitie op internet tegen uitgever Elsevier : Radio 1 NOS Journaal, 31.01.2012 [4:44]

Maintenance and Evolution of Grammarware by Grammar Transformation

Rode draad

Gevarieerde contacten met Herman

Tijd

Content-Based Analysis Improves Audiovisual Archive Retrieval

Database Cracking and the Path Towards Auto-tuning Database kernels

Dynamics and morphology of positive streamer discharges in high purity nitrogen

MonetDB Dec2011 feature release

Random Oracles in a Quantum World

Introduction to Software Evolution

De numerieke sectie van de rekenafdeling

Sinterklaas

Accuracy analysis of explicit Runge-Kutta methods applied to the incompressible Navier-Stokes equations

CWI knipselkrant, jaargang 08, nummer 01

MonetDB Dec2011-SP1 bugfix release

Improving The Future of Research Communications and e-Scholarship

Improving Future Research Communication and e-Scholarship: A Summary of Findings

Supporting Linked Data Production for Cultural Heritage institutes: The Amsterdam Museum Case Study

Bouwer aan CWI-wetenschap en -gemeenschap

Sphere and dot product representations of graphs

Ruimte

A note on the real part of the Riemann zeta-function

Wijze raad

Wiskunde in citaten uit de krant

MonetDB Dec2011-SP2 bugfix release

Met pensioen

Towards Dynamic Catalogues

Gewoon of bijzonder?

Leven met getallen : liber amicorum ter gelegenheid van de pensionering van Herman te Riele

Herman te Riele: een bijzonder mens

Dag Herman!

Bewondering

A note on almost flat numbers

Tafeltennis

A note on a relation between the Riemann hypothesis and the summatory function

Semur Daging

FAME, the Flux Analysis and Modeling Environment

On semidenite programming bounds for graph bandwidth

Reinforcement learning in continuous state and action spaces

Language Evolution, Metasyntactically

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions

Notation-Parametric Grammar Recovery

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions

Notation-Parametric Grammar Recovery

A Tale of Two Grammars

Region-based Unsupervised Classification of SAR Images

Unsupervised Classification of SAR Images using Hierarchical Agglomeration and EM (LNCS 7252)

An Hierarchical Approach for Model-based Classification of SAR Images

Latent Variable based Spatial Clustering with Background Noise

An Hierarchical Approach for Model-based Classification of SAR Images

Gauss's lattice point problem(s) revisited : an invitation : dedicated to Herman J. J. te Riele on the occasion of his retirement from the CWI in january 2012

Even schrikken

Mijlpaal

De tijd vliegt

De stelling van Hua

Herman te Riele vs. de rest van de wiskunde

A note on Pólya's observation concerning Liouville's function

Wij zijn Herman (in het diepst van onze gedachten)

Programs for Riemann's zeta function

Priemgetallen en priem-nevenidealen in de ring der gehelen van een kwadratisch lichaam

A problem related to the approximation of π by Archimedes/Huygens

5ECM

Speeches 2 december 2011

Mooie en afwisselende carrière

Ongrijpbaar en onplaatsbaar

Pas op voor het konijntje

Grootschalig rekenen

Heeft NW wel een chef nodig?

CWI knipselkrant, jaargang 08, nummer 02

CWI knipselkrant, jaargang 08, nummer 03

MonetDB Apr2012 feature release

An introduction to planar random tessellation models

Cross-Species Alignment of Coexpression Networks

Want a Coffee? Predicting Users' Trails

Relevance as a Subjective and Situational Multidimensional Concept

Quality through Flow and Immersion: Gamifying Crowdsourced Relevance Assessments

The BladeMistress Corpus: From Talk to Action in Virtual Worlds

Tolerance in Grammarware

Annual Report 2011 / CWI

Planar Markov fields

X-Device Query Processing by Bitwise Distribution

Invasion percolation on the Poisson-weighted infinite tree

MonetDB Apr2012-SP1 bugfix release

SRBench: A Streaming RDF/SPARQL Benchmark

Advanced Metaprogramming

Megamodelling Language Design: User Experiences and Ad Hoc Megamodelling

Grammar Convergence

Renarration of Megamodels

Building Virtual Earth Observatories using Ontologies and Linked Geospatial Data

Semi-Markov-Modulated Infinite-Server Queues: Approximations by Time-Scaling

Query-Efficient Computation in Property Testing and Learning Theory

Flow shear stabilization of rotating plasmas due to the Coriolis effect

First International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications

What quantum computing can do for you

Distance edge-colourings and matchings

Combining implicit and explicit topic representations for result diversification

The approach of moments for polynomial equations

CWI knipselkrant, jaargang 08, nummer 06

CWI knipselkrant, jaargang 08, nummer 05

Error bounds for sums of squares relaxations of some polynomial optimization problems

A new graph parameter related to bounded rank positive semidefinite matrix completions

Discussion column - Copositive vs. moment hierarchies for stable sets

Spherical Gram embeddings of graphs

Linked Stream Data Processing: Facts and Figures

The rank of edge connection matrices and the dimension of algebras of invariant tensors

Impact of the convergence of three worlds: High-Performance Computing, Databases, and Analytics

Multimodality and Multiresolution Image Fusion

Interview op BNR radio, 13.08.2012 [14:31]

Employing a RGB-D Sensor for Real-Time Tracking of Humans across Multiple Re-Entries in a Smart Environment

A Write Efficient PCM-Aware Sort

Vakantiecursus 2012 - De exacte benadering

Flexible Consumers Reserving Electricity and Offering Profitable Downward Regulation

Interest rate derivative pricing with stochastic volatility

Reduction of Market Power and Stabilisation of Outcomes in a Novel and Simplified Two-Settlement Electricity Market

Visible and Infrared Image Registration Employing Line-Based Geometric Analysis

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

Supervisory control synthesis of discrete-event systems using a coordination scheme

The synthesis of time optimal supervisors by using heaps of pieces

Controllability and observability of coordinated linear systems

Partial realization theory for linear switched systems: A formal power series approach

A linear-quadratic coordination control procedure with event-based feedback

System reduction and identification of polynomial and of rational systems

New series expansions of the Gauss hypergeometric function

Efficient and accurate algorithms for the computation and inversion of the incomplete gamma function ratios

MonetDB Jul2012-SP1 bugfix release

MonetDB Jul2012-SP2 bugfix release

Induced matchings in subcubic planar graphs

Semidefinite code bounds based on quadruple distances

Open Notebook Computer Science

Subatomic Scientific Knowledge Objects

Renarrating Linguistic Architecture

Negotiated Grammar Transformation

Grammar Composition and Extension

Rascal Metaprogramming Language

Bidirectional Grammar Transformations

Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields

Boundedness and monotonicity properties in numerical initial value problems

Distributed Media Synchronization for Shared Video Watching: Issues, Challenges, and Examples (Computer Commun)

Logic in Action

Program Analysis Scenarios in Rascal

Astronomical Data Processing Using SciQL, an SQL Based Query Language for Array Data

SciQL, Bridging the Gap Between Science and Relational DBMS

Scientific Data Processing Using SciQL

Cellen Bestuderen met behulp van een Gegevensbank Systeem

CWI knipselkrant, jaargang 08, nummer 07

MonetDB Oct2012 feature release

Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications

Polling models with multi-phase gated service

Revenue Maximization with Quality Assurance for Composite Web Services

Evaluating dispatch strategies for emergence medical services: TIFAR simulation package

Waiting time in a queueing network with a single shared server

Product-form results for two-queue networks with shared resources

De Zeven Grootste Raadsels van de Wiskunde : interview in Met het oog op morgen, Radio 1, i.v.m. met het verschijnen van "'De Zeven Grootste Raadsels van de Wiskunde", 30.08.2012 [10:35]

Wikimedia Conferentie Nederland Conferentieboek

Comparison of Context-free Grammars Based on Parsing Generated Test Data

Language Evolution, Metasyntactically

Notation-Parametric Grammar Recovery

Geometric integration and thermostat methods for Hamiltonian systems

Exact algorithms for pairwise protein structure alignment

A J-function for inhomogeneous point processes with applications

Domain-Specific Optimization in Digital Forensics

Interaction of depth probes and style of depiction

Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs

Managed Data: Modular Strategies for Data Abstraction

Managed data: modular strategies for data abstraction

Domain-Specific Languages for Better Forensic Software

Derric Compiler and IDE, version 1.0

Turing Language IDE

Say what you want instead of how. A DSL success story in the domain of digital forensics

Lisp

Domain-specific languages in Rascal

A Pattern Language for Language Engineering?

Domain-specific languages

Piping & Instrumentation in Rascal

Piping & Instrumentation in Rascal

Language design smells. Or: deconstructing language design (?)

A Tale of Two DSLs

Meta-Programming: Writing programs that manipulate programs

Generating an IDE using Rascal

Domain-specific languages

Rascal for DSL construction

Creating a DSL using Rascal

Ensō: interpretation and Composition of Executable Specification Languages

Deform

Meta-Language Support for Type-Safe Access to External Resources

Declarative Generalized 2D Graphics

Streamlining Policy Creation in Policy Frameworks

A One-Stop Shop for Software Evolution Tool Construction

On the Logic of Lying

Time discounting and time consistency

Perception and Change in Update Logic

Games, Actions and Social Software

Action Emulation

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO

Questions about Voting Rules, With Some Answers

Questions about Voting Rules, With Some Answers

Action Emulation between Canonical Models

Logics of Communication and Knowledge

MonetDB Oct2012 bugfix release

MonetDB Oct2012-SP1 bugfix release

Ode aan Turing

De stille kracht van informatietechnologie, we kunnen geen dag zonder!

De toekomst van het hoorcollege

Catalogus Turings erfenis : de stille kracht van informatica : 14.06-30.11.2012

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric

Denying Darwin: Views on science in the rejection of evolution by Dutch Protestants

Resource optimization in distributed real-time multimedia applications

Clustering a data array and the traveling-salesman problem

Game Developers Need Lua AiR Static Analysis of Lua Using Interface Models (LNCS 7522)

CWI knipselkrant, jaargang 08, nummer 08

Locally decodable codes and the failure of cotype for projective tensor products

Labyrint : TV uitzending 05.12.2012 over Alan Turing [25:11]

Proceedings of the Fifth Workshop on Information Theoretic Methods in Science and Engineering

Mobiel netwerk 10 keer sneller. ScienceGuide, 7 maart 2012

Unconditionally-Secure Robust Secret Sharing with Compact Shares

An All-But-One Entropic Uncertainty Relation, and Application to Password-based Identification

Near-Linear Unconditionally-Secure Multiparty Computation with a Dishonest Minority

Binomial ideals arising from graphs.

Choosing products in social networks

A classification of weakly acyclic games

Selfishness level of strategic games

Distributed iterated elimination of strictly dominated strategies

Verification of object-oriented programs: A transformational approach

Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel

Book review of 'Logic: A brief course' by Daniele Mundici

Two three pages papers

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday

LEGO Turing machine : Vimeo.com [2:23]

Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers

Moment matrices, border bases and radical computation

Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set

A practical approximation algorithm for solving massive instances of hybridization number (7534)

On the elusiveness of clusters

Model-Based Design of Paper Handling in Printers

When Turing meets Milner

Turing meets Milner

Reconciling real and stochastic time: the need for probabilistic refinement

Partially-supervised plants: embedding control requirements in plant components

Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks

Computing with Spiking Neuron Networks

Biologically plausible multi-dimensional reinforcement learning in neural networks

Efficient Spike-Coding with Multiplicative Adaptation in a Spike Response Model

Neurally Plausible Reinforcement Learning of Working Memory Tasks

Learning to Recall

The Amsterdam Database Architecture Group (Various Research Topics)

SciQL - Bridging the Gap between Science and Relational DBMS

A J--function for inhomogeneous point processes with applications to seismology

MonetDB Oct2012-SP2 bugfix release

Solving the Minimum String Cover Problem

Exon-level expression analyses identify MYCN and NTRK1 as major determinants of alternative exon usage and robustly predict primary neuroblastoma outcome

Probabilistic Arithmetic Automata and their Applications

CLEVER: Clique-Enumerating Variant Finder

SciQL - An SQL Based Query Language for Arrays

3D Spatially hybrid model for streamer discharge

Housing Markets with Indifferences: A Tale of Two Mechanisms (1)

Violating the Shannon capacity of metric graphs with entanglement

Explicit Lower and Upper Bounds on the Entangled Value of Multiplayer XOR Games

Two-dimensional Fourier cousine series expansion method for pricing financial options

An equity-interest rate hybrid model with stochastic volatility and the interest rate smile

Pricing higher-dimensional American options using the stochastic grid method

Efficient unbiased simulation scheme for SABR stochastic volatility model

Extension of stochastic volatility models with Hull-White interest rate process

On cross-currency models with stochastic volatility and correlated interest rates

A projected algebraic multigrid method for linear complementarity problems

An ENO-based numerical method for the control of dike levels in continuous time

Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process

The COS method for pricing options under uncertain volatility

Universal sequencing on an unreliable machine

Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks

Telling stories: Enumerating maximal directed acyclic graphs with a constrained set of sources and targets

Optimal flux spaces of genome-scale stoichiometric models are determined by a few subnetworks

Scheduling real-time mixed-criticality jobs

Analytic properties of two-carousel systems

Charge group partitioning in biomolecular simulation

The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems

Metabolic stories: Uncovering all possible scenarios for interpreting metabolomics data

A generalized parallel task model for recurrent real-time processes

Matrices if fidelities for ensembles of quantum states and the Holevo quantity

Quantum statistical synchronization of non-interacting particles

Optimal teleportation with a noisy source

Linear vs semidefinite extended formulations: Exponential separation and strong lower bounds

New bounds on the classical and quantum communication complexity of some graph properties

Kochen-Specker set and the rank-1 quantum chromatic

A generalization of Kochen-Specker sets relates quantum coloring to entanglement-assisted channel capacity

On the diameter of network polyhedra

Split scheduling

Special issue on Computational Plasma Physics : preface

An introduction to nonequilibrium plasmas at atmospheric pressure (1)

Experimental study of hard X-rays emitted from meter-scale positive discharges in air

A comparison of 3D fluid, particle and hybrid model for negative streamers

Symbolic execution of Reo circuits using constraint automata

Connectors as designs: Modelling refinement and test case generation

Formal design and verification of long-running transactions with eclipse coordination tools

Modeling and simulation of operational risks in the finance industry

Towards a similarity-based wen service discovery through soft constraint satisfaction problems

ECNS: a new dedicated Navier-Stokes code for wind-turbine wake simulations

Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software

Fundamentals of Software Engineering

A compositional model to reason about end-to-end QoS in stochastic Reo connectors

Near-optimal and explicit Bell inequality violations

High order fluid model for streamer discharges

Adapting Query Expansion to Search Proficiency

Dynamic delta modeling

Modeling Object Pursuit for Desktop Virtual Reality